منابع مشابه
Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملIntegrating Syntax and Semantics
Well-known examples such as Bar-Hillel's (1960) "The box is in the pen" illustrate that extensive semantic analysis is necessary to resolve ambiguities that must be resolved in machine translation. If one accepts the premise that semantics should be added to the analysis techniques used in machine translation, what is the way in which it should be added? This paper will argue for an integrated ...
متن کاملEquivariant Syntax and Semantics
syntax is not sufficiently abstract Parse trees take no account of variable binding. ∫ x 0 (∫ y 1 xy dx )
متن کاملViewcharts: Syntax and Semantics
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components. We define the syntax of viewcharts as attributed graphs and, based on this graph, describe dynamic semantics of viewcharts by object mapping automata. This approach covers many important constructs of viewcharts, inc...
متن کاملSyntax and Semantics
The year is 2002 and here we are at a symposium on Foundations and the Ontological Quest. The first thing to say is how bleak the present situation is. In foundational studies of mathematics and physics we have been stuck for seventy years; despite numerous books, articles, and meetings, there has been no real progress. Seventy years ago Gödel established his incompleteness theorem [1], destroy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science and Technology Development Journal
سال: 2015
ISSN: 1859-0128,1859-0128
DOI: 10.32508/stdj.v18i2.1197